| 1 | Marinos Kintis and Mike Papadakis and Andreas Papadopoulos and Evangelos Valvis and Nicos Malevris
Analysing and Comparing the Effectiveness of Mutation Testing Tools: {A} Manual Study
16th {IEEE} International Working Conference on Source Code Analysis and Manipulation, {SCAM} 2016, Raleigh, NC, USA, October 2-3, 2016, 2016. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{KintisPPVM16,
author = {Marinos Kintis and Mike Papadakis and Andreas Papadopoulos and Evangelos Valvis and Nicos Malevris},
title = {Analysing and Comparing the Effectiveness of Mutation Testing Tools: {A} Manual Study},
booktitle = {16th {IEEE} International Working Conference on Source Code Analysis and Manipulation, {SCAM} 2016, Raleigh, NC, USA, October 2-3, 2016},
year = {2016},
address = {},
month = {},
pages = {147--156}
} |
| 2 | Marinos Kintis and Mike Papadakis and Nicos Malevris
Employing second-order mutation for isolating first-order equivalent mutants
Softw. Test., Verif. Reliab., 25(), 2015. |
|
| | Abstract: Available soon... |
| | @ARTICLE{KintisPM15,
author = {Marinos Kintis and Mike Papadakis and Nicos Malevris},
title = {Employing second-order mutation for isolating first-order equivalent mutants},
journal = {Softw. Test., Verif. Reliab.},
year = {2015},
month = {},
volume = {25},
number = {},
pages = {508--535}
} |
| 3 | Marinos Kintis and Nicos Malevris
{MEDIC:} {A} static analysis framework for equivalent mutant identification
Information {\&} Software Technology, 68(), 2015. |
|
| | Abstract: Available soon... |
| | @ARTICLE{KintisM15,
author = {Marinos Kintis and Nicos Malevris},
title = {{MEDIC:} {A} static analysis framework for equivalent mutant identification},
journal = {Information {\&} Software Technology},
year = {2015},
month = {},
volume = {68},
number = {},
pages = {1--17}
} |
| 4 | Marinos Kintis and Nicos Malevris
Using Data Flow Patterns for Equivalent Mutant Detection
Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, {USA}, 2014. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{KintisM14,
author = {Marinos Kintis and Nicos Malevris},
title = {Using Data Flow Patterns for Equivalent Mutant Detection},
booktitle = {Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, {USA}},
year = {2014},
address = {},
month = {},
pages = {196--205}
} |
| 5 | Marinos Kintis and Nicos Malevris
Identifying More Equivalent Mutants via Code Similarity
20th Asia-Pacific Software Engineering Conference, {APSEC} 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1, 2013. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{KintisM13,
author = {Marinos Kintis and Nicos Malevris},
title = {Identifying More Equivalent Mutants via Code Similarity},
booktitle = {20th Asia-Pacific Software Engineering Conference, {APSEC} 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1},
year = {2013},
address = {},
month = {},
pages = {180--188}
} |
| 6 | Mike Papadakis and Nicos Malevris
Mutation based test case generation via a path selection strategy
Information {\&} Software Technology, 54(9), 2012. |
|
| | Abstract: Available soon... |
| | @ARTICLE{PapadakisM12a,
author = {Mike Papadakis and Nicos Malevris},
title = {Mutation based test case generation via a path selection strategy},
journal = {Information {\&} Software Technology},
year = {2012},
month = {},
volume = {54},
number = {9},
pages = {915--932}
} |
| 7 | Mike Papadakis and Nicos Malevris
Killing Mutants Effectively a Search Based Approach
Knowledge-Based Software Engineering - Proceedings of the Tenth Conference on Knowledge-Based Software Engineering, {JCKBSE} 2012, Rodos, Greece, August 23-26, 2012, 2012. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{PapadakisM12b,
author = {Mike Papadakis and Nicos Malevris},
title = {Killing Mutants Effectively a Search Based Approach},
booktitle = {Knowledge-Based Software Engineering - Proceedings of the Tenth Conference on Knowledge-Based Software Engineering, {JCKBSE} 2012, Rodos, Greece, August 23-26, 2012},
year = {2012},
address = {},
month = {},
pages = {217--226}
} |
| 8 | Marinos Kintis and Mike Papadakis and Nicos Malevris
Isolating First Order Equivalent Mutants via Second Order Mutation
Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{KintisPM12,
author = {Marinos Kintis and Mike Papadakis and Nicos Malevris},
title = {Isolating First Order Equivalent Mutants via Second Order Mutation},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
year = {2012},
address = {},
month = {},
pages = {701--710}
} |
| 9 | Mike Papadakis and Nicos Malevris
Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing
Software Quality Journal, 19(4), 2011. |
|
| | Abstract: Available soon... |
| | @ARTICLE{PapadakisM11b,
author = {Mike Papadakis and Nicos Malevris},
title = {Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing},
journal = {Software Quality Journal},
year = {2011},
month = {},
volume = {19},
number = {4},
pages = {691--723}
} |
| 10 | Mike Papadakis and Nicos Malevris
Automatic mutation based test data generation
13th Annual Genetic and Evolutionary Computation Conference, {GECCO} 2011, Companion Material Proceedings, Dublin, Ireland, July 12-16, 2011, 2011. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{PapadakisM11a,
author = {Mike Papadakis and Nicos Malevris},
title = {Automatic mutation based test data generation},
booktitle = {13th Annual Genetic and Evolutionary Computation Conference, {GECCO} 2011, Companion Material Proceedings, Dublin, Ireland, July 12-16, 2011},
year = {2011},
address = {},
month = {},
pages = {247--248}
} |
| 11 | Mike Papadakis and Nicos Malevris and Marinos Kintis
Mutation Testing Strategies - {A} Collateral Approach
{ICSOFT} 2010 - Proceedings of the Fifth International Conference on Software and Data Technologies, Volume 2, Athens, Greece, July 22-24, 2010, 2010. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{PapadakisMK10b,
author = {Mike Papadakis and Nicos Malevris and Marinos Kintis},
title = {Mutation Testing Strategies - {A} Collateral Approach},
booktitle = {{ICSOFT} 2010 - Proceedings of the Fifth International Conference on Software and Data Technologies, Volume 2, Athens, Greece, July 22-24, 2010},
year = {2010},
address = {},
month = {},
pages = {325--328}
} |
| 12 | Mike Papadakis and Nicos Malevris
An Empirical Evaluation of the First and Second Order Mutation Testing Strategies
Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION'10)Paris, France, 6 April 2010. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{PapadakisM10,
author = {Mike Papadakis and Nicos Malevris},
title = {An Empirical Evaluation of the First and Second Order Mutation Testing Strategies},
booktitle = {Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION'10)},
year = {2010},
address = {Paris, France},
month = {6 April},
pages = {}
} |
| 13 | Marinos Kintis and Mike Papadakis and Nicos Malevris
Evaluating Mutation Testing Alternatives: {A} Collateral Experiment
17th Asia Pacific Software Engineering Conference, {APSEC} 2010, Sydney, Australia, November 30 - December 3, 2010, 2010. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{KintisPM10c,
author = {Marinos Kintis and Mike Papadakis and Nicos Malevris},
title = {Evaluating Mutation Testing Alternatives: {A} Collateral Experiment},
booktitle = {17th Asia Pacific Software Engineering Conference, {APSEC} 2010, Sydney, Australia, November 30 - December 3, 2010},
year = {2010},
address = {},
month = {},
pages = {300--309}
} |
| 14 | Mike Papadakis and Nicos Malevris and Maria Kallia
Towards automating the generation of mutation tests
The 5th Workshop on Automation of Software Test, {AST} 2010, May 3-4, 2010, Cape Town, South Africa, 2010. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{PapadakisMK10,
author = {Mike Papadakis and Nicos Malevris and Maria Kallia},
title = {Towards automating the generation of mutation tests},
booktitle = {The 5th Workshop on Automation of Software Test, {AST} 2010, May 3-4, 2010, Cape Town, South Africa},
year = {2010},
address = {},
month = {},
pages = {111--118}
} |
| 15 | Mike Papadakis and Nicos Malevris
An Empirical Evaluation of the First and Second Order Mutation Testing Strategies
Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings, 2010. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{PapadakisM10b,
author = {Mike Papadakis and Nicos Malevris},
title = {An Empirical Evaluation of the First and Second Order Mutation Testing Strategies},
booktitle = {Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings},
year = {2010},
address = {},
month = {},
pages = {90--99}
} |
| 16 | Mike Papadakis and Nicos Malevris
Automatic Mutation Test Case Generation via Dynamic Symbolic Execution
{IEEE} 21st International Symposium on Software Reliability Engineering, {ISSRE} 2010, San Jose, CA, USA, 1-4 November 2010, 2010. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{PapadakisM10a,
author = {Mike Papadakis and Nicos Malevris},
title = {Automatic Mutation Test Case Generation via Dynamic Symbolic Execution},
booktitle = {{IEEE} 21st International Symposium on Software Reliability Engineering, {ISSRE} 2010, San Jose, CA, USA, 1-4 November 2010},
year = {2010},
address = {},
month = {},
pages = {121--130}
} |
| 17 | Mike Papadakis and Nicos Malevris and Maria Kallia
Towards Automating the Generation of Mutation Ttests
Proceedings of the 5th Workshop on Automation of Software Teste (AST'10)Cape Town, South Africa, 3-4 May 2010. |
|
| | Abstract: Automating software testing activities can increase the quality and drastically decrease the cost of software development. Towards this direction various automated test data generation tools have been developed. The majority of them aim at branch testing, while a quite limited number aim at a higher level of testing thoroughness such as mutation. In this paper an automated framework that makes a joint use of diverse techniques and tools is introduced in the context of automating mutation based test generation. The motivation behind this work is the use of existing techniques and tools such as symbolic execution and evolutionary testing towards automating the test input generation activity according to the weak mutation testing criterion. The proposed framework integrates existing automated tools for branch testing in order to effectively generate mutation test data. To fulfill this suggestion three automated tools are used for illustration purposes and preliminary results are obtained by applying the proposed framework to a set of java program units indicating the applicability and effectiveness of the proposed approach. |
| | @INPROCEEDINGS{PapadakisMK10,
author = {Mike Papadakis and Nicos Malevris and Maria Kallia},
title = {Towards Automating the Generation of Mutation Ttests},
booktitle = {Proceedings of the 5th Workshop on Automation of Software Teste (AST'10)},
year = {2010},
address = {Cape Town, South Africa},
month = {3-4 May},
pages = {111-118}
} |
| 18 | Mike Papadakis and Nicos Malevris
An Effective Path Selection Strategy for Mutation Testing
Proceedings of the 16th Asia-Pacific Software Engineering Conference (APSEC'09)Penang, Malaysia, 1-3 December 2009. |
|
| | Abstract: Mutation testing has been identified as one of the most effective techniques, in detecting faults. However, because of the large number of test elements that it introduces, it is regarded as rather expensive for practical use. Therefore, there is a need for testing strategies that will alleviate this drawback by selecting effective test data that will make the technique more practical. Such a strategy based on path selection is reported in this paper. A significant influence on the efficiency associated with path selection strategies is the number of test paths that must be generated in order to achieve a specified level of coverage, and it is determined by the number of paths that are found to be feasible. Specifically, a path selection strategy is proposed that aims at reducing the effects of infeasible paths and conversely developing effective and efficient mutation based tests. The results obtained from applying the method to a set of program units are reported and analysed presenting the flexibility, feasibility and practicality of the proposed approach. |
| | @INPROCEEDINGS{PapadakisM09,
author = {Mike Papadakis and Nicos Malevris},
title = {An Effective Path Selection Strategy for Mutation Testing},
booktitle = {Proceedings of the 16th Asia-Pacific Software Engineering Conference (APSEC'09)},
year = {2009},
address = {Penang, Malaysia},
month = {1-3 December},
pages = {422 - 429}
} |
| 19 | Mike Papadakis and Nicos Malevris
An Effective Path Selection Strategy for Mutation Testing
16th Asia-Pacific Software Engineering Conference, {APSEC} 2009, 1-3 December 2009, Batu Ferringhi, Penang, Malaysia, 2009. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{PapadakisM09,
author = {Mike Papadakis and Nicos Malevris},
title = {An Effective Path Selection Strategy for Mutation Testing},
booktitle = {16th Asia-Pacific Software Engineering Conference, {APSEC} 2009, 1-3 December 2009, Batu Ferringhi, Penang, Malaysia},
year = {2009},
address = {},
month = {},
pages = {422--429}
} |
